set theory proof example